Several notions of rank-width for countable graphs

نویسنده

  • Bruno Courcelle
چکیده

We define several notions of rank-width for countable graphs. We compare, for each of them the width of a countable graph with the least upper-bound of the widths of its finite induced subgraphs. A width has the compactness property if these two values are equal. Our notion of rank-width that uses quasi-trees (trees where paths may have the order type of rational numbers) has this property. So has linear rank-width, based on arbitrary linear orders. A more natural notion of rank-width based on countable cubic trees (we call it discrete rank-width) has a weaker type of compactness: the corresponding width is at most twice the least upper bound of the widths of the finite induced subgraphs. The notion of discrete linear rank-width, based on discrete linear orders has no compactness property.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects

Graph structure is a flexible concept covering many different types of graph properties. Hierarchical decompositions yielding the notions of tree-width and clique-width, expressed by terms written with appropriate graph operations and associated with Monadic Second-order Logic are important tools for the construction of Fixed-Parameter Tractable algorithms and also for the extension of methods ...

متن کامل

Notes from Hausdorff Institute Talk Oct 10, 2013

(a) isomorphism ∼=, elementary equivalence ≡, elementary equivalence ≡α for Lω1,ω sentences of rank < α. (b) Isomorphism of countable graphs, linear orders, countable Boolean algebras is ≤B complete for orbit equivalence relations of continuous S∞ actions (≤B is Borel reducibility, S∞ is the Polish group of permutations of ω). (c) for ∼= is partially answered in computable model theory, with no...

متن کامل

Clique-width of countable graphs: a compactness property

We de*ne the clique-width of a countable graph. We prove that a countable graph has *nite clique-width i+ its *nite induced subgraphs have bounded clique-width. We obtain an application to a conjecture concerning the structure of sets of countable graphs having a decidable monadic second-order satis*ability problem. c © 2003 Elsevier B.V. All rights reserved.

متن کامل

Thread Graphs, Linear Rank-Width and Their Algorithmic Applications

Many NP-hard graph problems can be efficiently solved on graphs of bounded tree-width. Several articles have recently shown that the so-called rank-width parameter also allows efficient solution of most of these NP-hard problems, while being less restrictive than tree-width. On the other hand however, there exist problems of practical importance which remain hard on graphs of bounded rank-width...

متن کامل

Graph Operations Characterizing Rank-Width and Balanced Graph Expressions

Graph complexity measures like tree-width, clique-width, NLC-width and rank-width are important because they yield Fixed Parameter Tractable algorithms. Rank-width is based on ranks of adjacency matrices of graphs over GF(2). We propose here algebraic operations on graphs that characterize rank-width. For algorithmic purposes, it is important to represent graphs by balanced terms. We give a uni...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Comb. Theory, Ser. B

دوره 123  شماره 

صفحات  -

تاریخ انتشار 2017